منابع مشابه
Structural Polymorphism
This paper describes structural polymorphism, a new form of type polymorphism appropriate to functional languages featuring user-defined algebraic data types (e.g., Standard ML, Haskell and Miranda1). The approach extends the familiar notion of parametric polymorphism by allowing the definition of functions which are generic with respect to data structures as well as to individual types. For ex...
متن کاملStructural Polymorphism of Glycophorins Demonstrated
We have explored the polymorphism of the glycophorin system in the human erythrocyte membrane using the immunoblotting techniques and examining 52 individuals selected without prior bias as to their serologic state and ten documented serologic variants of M, N, S. s blood group system. Polyclonal antisera to a glycophorin and to a glycophorin CNBr carboxyl terminal fragment C (residues 82-1 31 ...
متن کاملStructural Features on Polymorphism of Diclofenac Acid
A structural study of diclofenac acid was carried out by density functional theory (DFT) calculations. Five different structures were found to corresponding its minimum energy conformations. Among several interconvertible rotations, the five most stable structures were studied and the intramolecular interactions governing the corresponding conformational preferences were considered and energy v...
متن کاملAmyloid Polymorphism: Structural Basis and Neurobiological Relevance
Our understanding of the molecular structures of amyloid fibrils that are associated with neurodegenerative diseases, of mechanisms by which disease-associated peptides and proteins aggregate into fibrils, and of structural properties of aggregation intermediates has advanced considerably in recent years. Detailed molecular structural models for certain fibrils and aggregation intermediates are...
متن کاملSimple Type Inference for Structural Polymorphism
We propose a new way to mix constrained types and type inference, where the interaction between the two is minimal. By using local constraints embedded in types, rather than the other way round, we obtain a system which keeps the usual structure of an Hindley-Milner type system. In practice, this means that it is easy to introduce local constraints in existing type inference algorithms. Eventho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1993
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90057-z